Optimal. Leaf size=55 \[ \frac{1}{4} a^2 c x^4+\frac{1}{8} b x^8 (2 a d+b c)+\frac{1}{6} a x^6 (a d+2 b c)+\frac{1}{10} b^2 d x^{10} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0610322, antiderivative size = 55, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.1, Rules used = {446, 76} \[ \frac{1}{4} a^2 c x^4+\frac{1}{8} b x^8 (2 a d+b c)+\frac{1}{6} a x^6 (a d+2 b c)+\frac{1}{10} b^2 d x^{10} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 446
Rule 76
Rubi steps
\begin{align*} \int x^3 \left (a+b x^2\right )^2 \left (c+d x^2\right ) \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int x (a+b x)^2 (c+d x) \, dx,x,x^2\right )\\ &=\frac{1}{2} \operatorname{Subst}\left (\int \left (a^2 c x+a (2 b c+a d) x^2+b (b c+2 a d) x^3+b^2 d x^4\right ) \, dx,x,x^2\right )\\ &=\frac{1}{4} a^2 c x^4+\frac{1}{6} a (2 b c+a d) x^6+\frac{1}{8} b (b c+2 a d) x^8+\frac{1}{10} b^2 d x^{10}\\ \end{align*}
Mathematica [A] time = 0.0081722, size = 55, normalized size = 1. \[ \frac{1}{4} a^2 c x^4+\frac{1}{8} b x^8 (2 a d+b c)+\frac{1}{6} a x^6 (a d+2 b c)+\frac{1}{10} b^2 d x^{10} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0., size = 52, normalized size = 1. \begin{align*}{\frac{{b}^{2}d{x}^{10}}{10}}+{\frac{ \left ( 2\,abd+{b}^{2}c \right ){x}^{8}}{8}}+{\frac{ \left ({a}^{2}d+2\,abc \right ){x}^{6}}{6}}+{\frac{{a}^{2}c{x}^{4}}{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.01488, size = 69, normalized size = 1.25 \begin{align*} \frac{1}{10} \, b^{2} d x^{10} + \frac{1}{8} \,{\left (b^{2} c + 2 \, a b d\right )} x^{8} + \frac{1}{4} \, a^{2} c x^{4} + \frac{1}{6} \,{\left (2 \, a b c + a^{2} d\right )} x^{6} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.00007, size = 131, normalized size = 2.38 \begin{align*} \frac{1}{10} x^{10} d b^{2} + \frac{1}{8} x^{8} c b^{2} + \frac{1}{4} x^{8} d b a + \frac{1}{3} x^{6} c b a + \frac{1}{6} x^{6} d a^{2} + \frac{1}{4} x^{4} c a^{2} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.067256, size = 53, normalized size = 0.96 \begin{align*} \frac{a^{2} c x^{4}}{4} + \frac{b^{2} d x^{10}}{10} + x^{8} \left (\frac{a b d}{4} + \frac{b^{2} c}{8}\right ) + x^{6} \left (\frac{a^{2} d}{6} + \frac{a b c}{3}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.13532, size = 72, normalized size = 1.31 \begin{align*} \frac{1}{10} \, b^{2} d x^{10} + \frac{1}{8} \, b^{2} c x^{8} + \frac{1}{4} \, a b d x^{8} + \frac{1}{3} \, a b c x^{6} + \frac{1}{6} \, a^{2} d x^{6} + \frac{1}{4} \, a^{2} c x^{4} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]